تأخیر در ارتقای گلمستردام اتریوم به دلیل نگرانی‌های امنیتی قراردادهای هوشمند

تأخیر ارتقای Glamsterdam اتریوم در Hoodi؛ توسعه‌دهندگان در حال بررسی ریسک قراردادهای هوشمند

این خبر و تحلیل بر اساس گزارش و بررسی سایت کوین تلگراف تهیه شده است.

توسعه‌دهندگان هسته اتریوم تصمیم گرفته‌اند اجرای ارتقای Glamsterdam روی شبکه آزمایشی Hoodi را تا زمان بررسی و رفع برخی نگرانی‌های مرتبط با سازگاری قراردادهای هوشمند به تعویق بیندازند. این تصمیم پس از شناسایی مجموعه‌ای از فرضیات مرتبط با مصرف گس اتخاذ شده که ممکن است با فعال‌شدن دو پیشنهاد EIP-8037 و EIP-8038 دیگر معتبر نباشند.

بنیاد اتریوم اعلام کرده است برخی پروژه‌های موجود در اکوسیستم این شبکه به رفتارهای مشخصی در مدل محاسبه گس متکی هستند. تغییر این رفتارها می‌تواند در شرایط خاص، مسیر اجرای برخی قراردادهای هوشمند را متفاوت کند. به همین دلیل، توسعه‌دهندگان قصد دارند پیش از ادامه فرایند هاردفورک در Hoodi، دامنه اثر این تغییرات را با دقت بیشتری بررسی کنند.

این موضوع به معنای لغو Glamsterdam نیست. فرایند آزمایش و ارزیابی این ارتقا همچنان ادامه دارد، اما توسعه‌دهندگان تصمیم گرفته‌اند تا روشن‌شدن پیامدهای احتمالی، فورک Hoodi را اجرا نکنند.

🟠 کارگزاری و سکوی تبادل تخصصی OTC رمزدارایی بیت کوین (BTC) در ایران »»

بیت کوین (Bitcoin) با نماد BTC نخستین و بزرگ‌ترین رمزدارایی بازار ارزهای دیجیتال از نظر ارزش بازار و یکی از شناخته‌شده‌ترین دارایی‌های مبتنی بر بلاکچین است. اگر قصد دارید با روش خرید و فروش بیت کوین (BTC) در بازار OTC، ویژگی‌ها، کاربردها و مزایای این رمزدارایی در ایران بیشتر آشنا شوید، ادامه این مطلب را از دست ندهید.

دلیل تأخیر Glamsterdam در شبکه Hoodi چیست؟

ریشه نگرانی‌های فعلی به دو پیشنهاد بهبود اتریوم یعنی EIP-8037 و EIP-8038 بازمی‌گردد. این دو پیشنهاد بخش‌هایی از نحوه قیمت‌گذاری و محاسبه گس برای عملیات مرتبط با وضعیت شبکه یا State را تغییر می‌دهند.

برخی قراردادهای هوشمند موجود بر اساس فرض‌هایی درباره میزان گس موردنیاز عملیات مختلف طراحی شده‌اند. برای مثال، یک قرارداد ممکن است بر اساس مقدار گس باقی‌مانده تشخیص دهد که یک فراخوانی خارجی به چه دلیل شکست خورده یا پس از شکست یک عملیات چه اقدامی انجام دهد.با تغییر مدل گس، چنین فرض‌هایی ممکن است دیگر همیشه برقرار نباشند. در نتیجه، کدی که تحت قواعد فعلی اتریوم رفتار مشخصی دارد، ممکن است پس از فعال‌شدن Glamsterdam در برخی شرایط مسیر متفاوتی را طی کند.

بنیاد اتریوم اعلام کرده مجموعه‌ای شامل هشت invariant یا فرض رفتاری مرتبط با گس شناسایی شده که EIP-8037 و EIP-8038 می‌توانند آن‌ها را تغییر دهند. توسعه‌دهندگان، حسابرسان و تیم‌های پروژه‌های اتریومی نیز فراخوانده شده‌اند تا بررسی کنند آیا کدهای آن‌ها به این فرضیات وابسته است یا خیر.

گزارش ChainSecurity چه مشکلی را شناسایی کرد؟

شرکت حسابرسی قراردادهای هوشمند ChainSecurity در بررسی فنی خود توضیح داده است که تغییرات Glamsterdam می‌تواند نحوه رفتار برخی قراردادها پس از شکست فراخوانی‌های خارجی را تغییر دهد. در قراردادهای هوشمند، شکست یک فراخوانی خارجی همیشه به یک دلیل واحد رخ نمی‌دهد. یک عملیات ممکن است به دلیل خطای منطقی، Revert یا تمام‌شدن گس شکست بخورد. برخی قراردادها تلاش می‌کنند بر اساس شرایط موجود، علت شکست را تشخیص دهند و سپس تصمیم بگیرند عملیات دوباره قابل انجام باشد یا به‌عنوان یک شکست نهایی ثبت شود. تغییرات پیشنهادی در مدل گس می‌تواند میزان گس موردنیاز عملیات و همچنین مقدار گسی را که پس از شکست یک فراخوانی در اختیار قرارداد باقی می‌ماند، تغییر دهد.

ChainSecurity هشدار داده است که در چنین شرایطی، مسیری که قبلاً پس از شکست یک فراخوانی متوقف می‌شد، ممکن است تحت مدل جدید بتواند به اجرای خود ادامه دهد. این تفاوت می‌تواند فرضیات امنیتی بعضی قراردادهای موجود را تحت‌تأثیر قرار دهد.

EIP-8037 چه تغییری در اتریوم ایجاد می‌کند؟

EIP-8037 بر هزینه ایجاد State جدید در اتریوم تمرکز دارد. هدف این پیشنهاد، هماهنگ‌ترکردن هزینه ایجاد داده‌های جدید و کنترل رشد وضعیت شبکه در شرایط افزایش ظرفیت بلاک‌ها است. یکی از تغییرات مهم این پیشنهاد، تفکیک بخشی از محاسبات گس مربوط به اجرای عملیات و ایجاد State است. در این مدل، مفاهیمی مانند Execution Gas و State Gas نقش مجزاتری در محاسبه هزینه عملیات پیدا می‌کنند. این پیشنهاد همچنین هزینه برخی عملیات ایجاد State را افزایش می‌دهد. دلیل اصلی این تصمیم آن است که رشد مداوم State می‌تواند منابع بیشتری از نودهای شبکه مصرف کند و در بلندمدت به یکی از محدودیت‌های مقیاس‌پذیری تبدیل شود. بااین‌حال، تغییر نحوه محاسبه این هزینه‌ها می‌تواند روی قراردادها یا ابزارهایی که به مقادیر مشخص گس وابسته‌اند اثر بگذارد.

EIP-8038 چه نقشی در این تغییرات دارد؟

در کنار EIP-8037، پیشنهاد EIP-8038 هزینه دسترسی به State را بازتنظیم می‌کند. این پیشنهاد با توجه به افزایش اندازه وضعیت اتریوم طراحی شده و هزینه برخی عملیات دسترسی یا نوشتن اطلاعات را تغییر می‌دهد. در مدل پیشنهادی، هزینه عملیات مرتبط با State با تفکیک بیشتری میان دسترسی، نوشتن و ایجاد داده جدید محاسبه خواهد شد. در نتیجه، بعضی عملیات ممکن است پس از اجرای Glamsterdam نسبت به شرایط فعلی به گس بیشتری نیاز داشته باشند.

این موضوع به‌ویژه برای قراردادهایی اهمیت دارد که مقدار مشخصی گس برای یک عملیات در نظر گرفته‌اند یا منطق اجرایی آن‌ها به مقدار gasleft() و تفاوت گس قبل و بعد از اجرای عملیات وابسته است.

چرا توسعه‌دهندگان اجرای فورک Hoodi را متوقف کردند؟

شبکه‌های آزمایشی یکی از مراحل مهم پیش از فعال‌شدن ارتقاهای بزرگ اتریوم در شبکه اصلی هستند. این محیط‌ها به توسعه‌دهندگان اجازه می‌دهند تغییرات پروتکل را پیش از اجرای گسترده‌تر آزمایش کنند. Glamsterdam پیش‌تر در شبکه آزمایشی Sepolia فعال شده بود، اما با مطرح‌شدن نگرانی‌های جدید، توسعه‌دهندگان تصمیم گرفته‌اند مرحله بعدی فرایند هاردفورک در Hoodi را فعلاً به تعویق بیندازند. این وقفه فرصت بیشتری برای شناسایی قراردادهای تحت‌تأثیر، ارزیابی شدت مشکلات احتمالی و بررسی تغییرات موردنیاز در مشخصات فنی فراهم می‌کند. بر اساس اعلام بنیاد اتریوم، Hoodi تا زمان حل این مسائل فورک نخواهد شد.

هدف اصلی ارتقای Glamsterdam چیست؟

Glamsterdam یکی از ارتقاهای مهم در مسیر توسعه لایه اول اتریوم محسوب می‌شود و مجموعه‌ای از تغییرات فنی را برای بهبود معماری و مقیاس‌پذیری شبکه دنبال می‌کند. از جمله بخش‌های مهم این ارتقا می‌توان به Enshrined Proposer-Builder Separation یا ePBS، فهرست‌های دسترسی در سطح بلاک و اصلاح مدل قیمت‌گذاری گس اشاره کرد. بخش دیگری از این برنامه بر ایجاد ارتباط دقیق‌تر میان هزینه گس و منابع واقعی موردنیاز برای اجرای عملیات متمرکز است. EIP-8037 و EIP-8038 نیز در همین چارچوب تلاش می‌کنند هزینه ایجاد و دسترسی به State را با شرایط فعلی شبکه هماهنگ‌تر کنند. بااین‌حال، تغییر قواعد بنیادی گس می‌تواند بر قراردادهایی که بر اساس رفتارهای قبلی طراحی شده‌اند اثر بگذارد؛ موضوعی که اکنون به یکی از محورهای اصلی بررسی توسعه‌دهندگان تبدیل شده است.

ادامه توسعه Glamsterdam پس از بررسی ریسک‌ها

تأخیر در فورک Hoodi را می‌توان بخشی از فرایند آزمایش و ارزیابی تغییرات پروتکل پیش از گسترش آن‌ها دانست. توسعه‌دهندگان اکنون باید مشخص کنند دامنه قراردادهای تحت‌تأثیر EIP-8037 و EIP-8038 تا چه اندازه گسترده است و آیا برای حفظ سازگاری با پروژه‌های موجود، اصلاح مشخصات این پیشنهادها ضروری خواهد بود یا خیر. نکته مهم این است که تصمیم فعلی به معنای کنارگذاشتن Glamsterdam نیست. بر اساس اطلاعیه بنیاد اتریوم، تنها ادامه فرایند هاردفورک و اجرای آن روی Hoodi تا زمان بررسی مسائل شناسایی‌شده به تعویق افتاده است. در همین حال، فعالیت‌های توسعه مربوط به Hegota نیز تحت‌تأثیر این تأخیر قرار نگرفته و به‌صورت موازی ادامه دارد. در نهایت، نتیجه بررسی قراردادهای موجود و بازخورد توسعه‌دهندگان و حسابرسان مشخص خواهد کرد که EIP-8037 و EIP-8038 با مشخصات فعلی ادامه پیدا می‌کنند یا پیش از مراحل بعدی Glamsterdam به اصلاحات بیشتری نیاز خواهند داشت.